First Order Logic

Inflorescence architecture: A developmental genetics approach

Genetics / Plant Biology / First-Order Logic / Second Order / First Order Logic / Botanical / The Botanical / PISUM SATIVUM / Botanical / The Botanical / PISUM SATIVUM

Specification of abstract dynamic-data types: A temporal logic approach

Theoretical Computer Science / Mathematical Sciences / Dynamic Panel Data / First Order Logic / Temporal Logic

A Theory of Spatio-temporal Database Queries

Spatio-Temporal Databases / First-Order Logic / First Order Logic / Database System

Vibrational modes of silicon nanostructures

Materials Engineering / Condensed Matter Physics / Quantum Chemistry / First-Order Logic / First Order Logic / Tight Binding / Finite Difference / Tight Binding / Finite Difference

Molecular Nuclear Fields: A Naïve Perspective

Mathematical Sciences / First-Order Logic / Mathematical chemistry / CHEMICAL SCIENCES / First Order Logic

Vibrational modes of silicon nanostructures

Materials Engineering / Condensed Matter Physics / Quantum Chemistry / First-Order Logic / First Order Logic / Tight Binding / Finite Difference / Tight Binding / Finite Difference

Chaos control in AFM systems using nonlinear delayed feedback via sliding mode control

Applied Mathematics / AFM / Chaos Control / Feedback Control / Sliding mode control / First-Order Logic / System Simulation / High performance / First Order Logic / Numerical Analysis and Computational Mathematics / Atomic Force Microscope / Sliding Mode / Parameter Uncertainty / First-Order Logic / System Simulation / High performance / First Order Logic / Numerical Analysis and Computational Mathematics / Atomic Force Microscope / Sliding Mode / Parameter Uncertainty

Chaos control in AFM systems using nonlinear delayed feedback via sliding mode control

Applied Mathematics / AFM / Chaos Control / Feedback Control / Sliding mode control / First-Order Logic / System Simulation / High performance / First Order Logic / Numerical Analysis and Computational Mathematics / Atomic Force Microscope / Sliding Mode / Parameter Uncertainty / First-Order Logic / System Simulation / High performance / First Order Logic / Numerical Analysis and Computational Mathematics / Atomic Force Microscope / Sliding Mode / Parameter Uncertainty

Noble gas films on a decagonal AlNiCo quasicrystal

Materials Engineering / Physics / Condensed Matter Physics / Nanotechnology / Noble Gases / First-Order Logic / Layer by Layer / First Order Logic / Low Temperature / Order Parameter / Thermodynamic Properties / First-Order Logic / Layer by Layer / First Order Logic / Low Temperature / Order Parameter / Thermodynamic Properties

A 1 V Micropower FGMOS Class AB Log-Domain Filter

Integrated Circuits / Higher Order Thinking / First-Order Logic / Low Power Consumption / First Order Logic / Floating Gate / Electrical And Electronic Engineering / Floating Gate / Electrical And Electronic Engineering

Logical queries over views

Data Warehousing / Information Integration / Pure Mathematics / Active Database / First-Order Logic / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability

Logical Queries over Views: Decidability and Expressiveness

Data Warehousing / Information Integration / Active Database / Containment / First-Order Logic / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Decidability / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Decidability

Disproving False Conjectures

Theorem Proving / Second Order / First Order Logic

Optimal control of a class of hybrid systems

Mechanical Engineering / Applied Mathematics / Optimal Control / Hybrid Systems / Differential Equations / First-Order Logic / First Order Logic / Optimal Control Problem / Difference Equations / Nonsmooth Optimization / Optimality Condition / Electrical And Electronic Engineering / Hybrid System / First-Order Logic / First Order Logic / Optimal Control Problem / Difference Equations / Nonsmooth Optimization / Optimality Condition / Electrical And Electronic Engineering / Hybrid System

Efeitos da Deformação Cristalina Sobre as Propriedades Magnéticas de Ligas Gd5Ge2Si2 em Função da Absorção de Hidrogênio Intersticial

Magnetic Materials / First-Order Logic / Second Order / First Order Logic

Copyright © 2017 DADOSPDF Inc.